Abstract data types and software validation
John V. Guttag;Ellis Horowitz;David R. Musser
Communications of the ACM
Problems in application software maintenance
Bennet P. Lientz;E. Burton Swanson
Communications of the ACM
Transition to object-oriented software development
Mohamed E. Fayad;Wei-Tek Tsai;Milton L. Fulghum
Communications of the ACM
Evaluation of safety-critical software
David L. Parnas;A. John van Schouwen;Shu Po Kwan
Communications of the ACM
Software quality and the Capability Maturity Model
James Herbsleb;David Zubrow;Dennis Goldenson;Will Hayes;Mark Paulk
Communications of the ACM